TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
logique symbolique [2 fiches]
Fiche 1 - données d’organisme externe 2006-02-20
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 1
Fiche 1, La vedette principale, Anglais
- symbolic logic
1, fiche 1, Anglais, symbolic%20logic
correct, normalisé
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- mathematical logic 1, fiche 1, Anglais, mathematical%20logic
correct, normalisé
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
discipline in which valid argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages 1, fiche 1, Anglais, - symbolic%20logic
Record number: 1, Textual support number: 1 OBS
symbolic logic; mathematical logic: terms and definition standardized by ISO/IEC [ISO 2382-2:1976]. 2, fiche 1, Anglais, - symbolic%20logic
Fiche 1, Français
Fiche 1, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 1
Fiche 1, La vedette principale, Français
- logique symbolique
1, fiche 1, Français, logique%20symbolique
correct, nom féminin, normalisé
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
discipline dans laquelle les raisonnements et les opérations sont représentés à l'aide d'un langage artificiel destiné à éviter les ambiguïtés et l'inadéquation des langages naturels 1, fiche 1, Français, - logique%20symbolique
Record number: 1, Textual support number: 1 OBS
logique symbolique : terme et définition normalisés par l'ISO/CEI [ISO 2382-2:1976]. 2, fiche 1, Français, - logique%20symbolique
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2003-05-23
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Programming Languages
- Artificial Intelligence
- Philosophy (General)
Fiche 2, La vedette principale, Anglais
- symbolic logic
1, fiche 2, Anglais, symbolic%20logic
correct, normalisé
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- mathematical logic 1, fiche 2, Anglais, mathematical%20logic
correct, normalisé
- symbolic logics 2, fiche 2, Anglais, symbolic%20logics
- mathematical logics 2, fiche 2, Anglais, mathematical%20logics
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
The discipline in which argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages. 3, fiche 2, Anglais, - symbolic%20logic
Record number: 2, Textual support number: 1 OBS
symbolic logic; mathematical logic: terms standardized by ISO and CSA. 4, fiche 2, Anglais, - symbolic%20logic
Fiche 2, Français
Fiche 2, Domaine(s)
- Langages de programmation
- Intelligence artificielle
- Philosophie (Généralités)
Fiche 2, La vedette principale, Français
- logique symbolique
1, fiche 2, Français, logique%20symbolique
correct, nom féminin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Discipline dans laquelle les raisonnements et les opérations sont représentés à l'aide d'un langage artificiel destiné à éviter les ambiguïtés et l'inadéquation des langages naturels. 2, fiche 2, Français, - logique%20symbolique
Record number: 2, Textual support number: 1 OBS
logique symbolique : terme normalisé par l'ISO et la CSA. 3, fiche 2, Français, - logique%20symbolique
Fiche 2, Espagnol
Fiche 2, Campo(s) temático(s)
- Lenguaje de programación
- Inteligencia artificial
- Filosofía (Generalidades)
Fiche 2, La vedette principale, Espagnol
- lógica simbólica
1, fiche 2, Espagnol, l%C3%B3gica%20simb%C3%B3lica
correct, nom féminin
Fiche 2, Les abréviations, Espagnol
Fiche 2, Les synonymes, Espagnol
- lógica matemática 2, fiche 2, Espagnol, l%C3%B3gica%20matem%C3%A1tica
correct, nom féminin
- lógica formal 2, fiche 2, Espagnol, l%C3%B3gica%20formal
nom féminin
Fiche 2, Justifications, Espagnol
Record number: 2, Textual support number: 1 DEF
Descripción, mediante un lenguaje cuya concepción suprime las ambigüedades semánticas del lenguaje común, de las formas estructurales de unos argumentos válidos y de unos fundamentos matemáticos. 3, fiche 2, Espagnol, - l%C3%B3gica%20simb%C3%B3lica
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :